$\forall$$T$:Type, $L_{1}$, $L_{2}$:$T$ List. $L_{1}$ $\subseteq$ $L_{2}$ $\Rightarrow$ $L_{2}$ $\subseteq$ $L_{1}$ $\Rightarrow$ $L_{1}$ $=$ $L_{2}$